Travail de recherche/Working paper
Titre:
  • Persistent Systems with Unique Minimal Cyclic Parikh Vectors
Auteur:Best, Eike; Devillers, Raymond
Informations sur la publication:Dep. Informatik, Carl von Ossietzki Universität Oldenburg
Statut de publication:Publié, 2014-02
series:Technical Report, 02/14
Sujet CREF:Informatique mathématique
Volumes/pages:80 p.
Mots-clés:Cyclic Behaviour, Labelled Transition Systems, Parikh vectors, Persistency, Petri nets, Region Theory, System Synthesis
Langue:Anglais